- импликативная логика
- implicational logic мат.
Русско-английский научно-технический словарь Масловского. 2015.
импликативная логика
Look at other dictionaries:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
парадоксы импликации — ПАРАДОКСЫ ИМПЛИКАЦИИ (от греч. paradoxos неожиданный, странный и лат. implicatio сплетение, переплетение) (и логического следования) проблемы, решения которых потребовала задача формальной экспликации условной связи и логического… … Энциклопедия эпистемологии и философии науки
логическое следование — ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ отношение между высказываниями; более точно отношение между посылками и заключением, которое характеризуется тем, что заключение с необходимостью следует из посылок. Понятие Л. с. является центральным в… … Энциклопедия эпистемологии и философии науки
